The Typing System to Provide Compositional Thinking About Data Flows
نویسندگان
چکیده
منابع مشابه
New Ways of Thinking about Freight Data
ITE JOURNAL / DECEMBER 2004 INTRODUCTION The incorporation of intelligent transportation systems (ITS) into goods transport promises to increase productivity, security and efficiency. This feature reviews emerging examples of “passive” data collection efforts in several states. Work remains to transform these opportunities into needs identified by freight planners and researchers. Freight movem...
متن کاملThinking about the cerebellum.
The cerebellum – motor control or more? Prompted by functional imaging studies, there have been a number of recent suggestions that the cerebellum may be involved in functions other than motor control. Lesions or abnormalities of the cerebellum have been claimed to be associated with cognitive deficits and autism; and the cere-bellum is said to control shifting attention and be active both duri...
متن کاملThinking about the unknown.
A long tradition of research suggests that children and adults with no formal education are prone to reason only on the basis of their first-hand experience, and do not encode and reason from novel generalizations supplied by other people. However, recent research reveals that when given simple prompts, even pre-school children can reason from adults' unfamiliar claims. A radical implication of...
متن کاملThinking about the brain
We all are fascinated by the phenomena of intelligent behavior, as generated both by our own brains and by the brains of other animals. As physicists we would like to understand if there are some general principles that govern the structure and dynamics of the neural circuits that underlie these phenomena. At the molecular level there is an extraordinary universality, but these mechanisms are s...
متن کاملThinking about the nucleus.
O ne of the most sacred freedom in the scientific world is the freedom to challenge: to test new ideas against old, established ones, to try and explain facts and results by means of new interpretations, sometimes even to believe the unbelievable. Obviously, a consequence of this freedom to challenge is the freedom to be challenged, i.e. any new, earth-shaking theory can be challenged by other ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2018
ISSN: 1877-0509
DOI: 10.1016/j.procs.2018.01.038